$\forall$$a$,$b$:$\mathbb{Z}$. divides($a$; $b$) $\Leftarrow\!\Rightarrow$ divides($a$; ({-}$b$))